Rademacher’s Theorem on Configuration Spaces and Applications
نویسندگان
چکیده
We consider an L-Wasserstein type distance ρ on the configuration space ΓX over a Riemannian manifold X, and we prove that ρ-Lipschitz functions are contained in a Dirichlet space associated with a measure on ΓX satisfying certain natural assumptions. These assumptions are in particular fulfilled by the classical Poisson measures and by a large class of tempered grandcanonical Gibbs measures with respect to a superstable lower regular pair potential. As an application we prove a criterion in terms of ρ for a set to be exceptional. This result immediately implies, for instance, a quasi-sure version of the spatial ergodic theorem. We also show that ρ is optimal in the sense that it is the intrinsic metric of our Dirichlet form. 0. Introduction. Let ΓX be the configuration space over a Riemannian manifold X. In this paper, we consider a class of probability measures on ΓX , which in particular contains certain Ruelle type Gibbs measures and mixed Poisson measures. Using a natural ‘non-flat’ geometric structure of ΓX , recently analyzed in Albeverio, Kondratiev and Röckner (1996a), (1996b), (1997), and (1998), one can define weak derivatives and introduce the related Sobolev spaces. Here we are interested in a more detailed description of this concept of differentiability. Similar to the case of H-differentiability on Wiener space, it turns out that not all values which a function u takes in a small neighborhood of some γ ∈ ΓX are relevant for its weak gradient ∇u(γ), but only those which are located in certain ‘directions’. Here, of course, the word ‘direction’ needs to be defined because of the absence of any linear structure on ΓX even if X = R . Our way of making the above precise is to prove an infinite dimensional version of the celebrated theorem of Rademacher (1919) stating that Lipschitz functions on R are differentiable almost everywhere and and in the weak sense. On abstract Wiener space and its generalizations, similar results were obtained by Kusuoka (1982a), (1982b), Enchev and Stroock (1993), and Bogachev and Mayer-Wolf (1996). On configuration space, the correct Lipschitz condition is defined through an L-Wasserstein type distance function ρ, which, for non-compact X, divides ΓX into uncountably many disjoint ‘fibers’, each of the form {ω | ρ(γ, ω) <∞}. A consequence of our Rademacher type theorem then is that only the behavior of u in small ρ-balls around γ matters for the value of ∇u(γ). Research carried out in part at MSRI and supported in part by Deutsche Forschungsgemeinschaft and by NSF grant DMS-9701755.
منابع مشابه
On intermediate value theorem in ordered Banach spaces for noncompact and discontinuous mappings
In this paper, a vector version of the intermediate value theorem is established. The main theorem of this article can be considered as an improvement of the main results have been appeared in [textit{On fixed point theorems for monotone increasing vector valued mappings via scalarizing}, Positivity, 19 (2) (2015) 333-340] with containing the uniqueness, convergent of each iteration to the fixe...
متن کاملFan-KKM Theorem in Minimal Vector Spaces and its Applications
In this paper, after reviewing some results in minimal space, some new results in this setting are given. We prove a generalized form of the Fan-KKM typetheorem in minimal vector spaces. As some applications, the open type of matching theorem and generalized form of the classical KKM theorem in minimal vector spaces are given.
متن کامل$S$-metric and fixed point theorem
In this paper, we prove a general fixed point theorem in $textrm{S}$-metric spaces for maps satisfying an implicit relation on complete metric spaces. As applications, we get many analogues of fixed point theorems in metric spaces for $textrm{S}$-metric spaces.
متن کاملVector ultrametric spaces and a fixed point theorem for correspondences
In this paper, vector ultrametric spaces are introduced and a fixed point theorem is given for correspondences. Our main result generalizes a known theorem in ordinary ultrametric spaces.
متن کاملGeneralized multivalued $F$-contractions on non-complete metric spaces
In this paper, we explain a new generalized contractive condition for multivalued mappings and prove a fixed point theorem in metric spaces (not necessary complete) which extends some well-known results in the literature. Finally, as an application, we prove that a multivalued function satisfying a general linear functional inclusion admits a unique selection fulfilling the corresp...
متن کاملA common fixed point theorem for weakly compatible maps satisfying common property (E:A:) and implicit relation in intuitionistic fuzzy metric spaces
In this paper, employing the common property ($E.A$), we prove a common fixed theorem for weakly compatible mappings via an implicit relation in Intuitionistic fuzzy metric space. Our results generalize the results of S. Kumar [S. Kumar, {it Common fixed point theorems in Intuitionistic fuzzy metric spaces using property (E.A)}, J. Indian Math. Soc., 76 (1-4) (2009), 94--103] and C. Alaca et al...
متن کامل